$\forall$$i$, $j$, $k$:$\mathbb{Z}$. ($i$ $<$ $j$) $\Rightarrow$ ($j$ $\leq$ $k$) $\Rightarrow$ ($i$ $<$ $k$)